TESAURO DE MATERIAS DE SERBIULA
Toggle navigation
Inicio
Búsqueda avanzada
Sobre...
Mi cuenta
CALCULO DE PREDICADOS
Inicio
CALCULO DE PREDICADOS
Término
Metadatos
CALCULO DE PREDICADOS
Términos alternativos
UP
↸
Teoría de cuantificación
Términos específicos
TE1
↓
LOGICA MATEMATICA
►
▼
TE2
↓
ALGEBRA BOOLEANA
►
▼
TE3
↓
MEDIDA DE CARATHEODORY
TE3
↓
Reticulados, Teoría de
TE3
↓
TEORIA DE RETICULADOS
►
▼
TE4
↓
Operadores de cierre
TE4
↓
Potencial de deformación
TE4
↓
REDES CRISTALINAS
►
TE4
↓
Redes modulares
TE4
↓
TEORIA DE CAMPOS RETICULADOS
TE4
↓
TRAYECTORIA DE RETICULADOS
TE2
↓
CALCULO DE LAMBDA
TE2
↓
CALCULO PROPOSICIONAL
TE2
↓
CASUALIDAD
►
▼
TE3
↓
COMBINACIONES (MATEMATICAS)
►
▼
TE4
↓
PROBABILIDADES
►
TE3
↓
JUEGOS DE AZAR (MATEMATICAS)
TE2
↓
CATEGORIAS (MATEMATICAS)
►
▼
TE3
↓
ALGEBROIDES
TE3
↓
CATEGORIAS ABELIANAS
TE3
↓
CATEGORIAS CERRADAS (MATEMATICAS)
TE3
↓
MORFISMOS (MATEMATICAS)
TE3
↓
TEORIA DE LOCALIZACION
TE3
↓
TEORIA DE TRIPLES
TE3
↓
TEORIA DEL DIVISOR
TE3
↓
TOPOSES
TE3
↓
TRICATEGORIAS
TE2
↓
DECISION (LOGICA MATEMATICA)
TE2
↓
FUNCIONES RECURSIVAS
►
▼
TE3
↓
INSOLUBILIDAD (LOGICA MATEMATICA)
TE3
↓
TEORIA DE LAS MAQUINAS
►
▼
TE4
↓
APRENDIZAJE AUTOMATICO
►
TE4
↓
COMPLEJIDAD COMPUTACIONAL
TE4
↓
COMPUTADORAS
►
TE4
↓
DISEÑO LOGICO
TE4
↓
INTELIGENCIA ARTIFICIAL
►
TE4
↓
LENGUAJES FORMALES
TE4
↓
MAQUINA DE POST
TE4
↓
MAQUINAS DE TURING
TE4
↓
PROCESAMIENTO ELECTRONICO DE DATOS
►
TE4
↓
SISTEMAS DE RE-ESCRITURA (COMPUTACIÓN)
TE4
↓
TEORIA DE LA CODIFICACION
►
TE4
↓
TEORIA DE LA CONMUTACION
►
TE4
↓
TEORIA DEL CONTROL
►
TE2
↓
LOGICA ALGEBRAICA
►
▼
TE3
↓
ALGEBRA BOOLEANA
►
▼
TE4
↓
MEDIDA DE CARATHEODORY
TE4
↓
Reticulados, Teoría de
TE4
↓
TEORIA DE RETICULADOS
►
TE3
↓
ALGEBRAS CILINDRICAS
TE3
↓
RELACIONES ALGEBRAICAS (LOGICA)
TE2
↓
LÒGICA COMBINATORIA
TE2
↓
LÒGICA COMPUTACIONAL
TE2
↓
LOGICA DE PRIMER ORDEN
TE2
↓
LOGICA DE UMBRAL
TE2
↓
MÀQUINAS LÒGICAS
►
▼
TE3
↓
INTELIGENCIA ARTIFICIAL
►
▼
TE4
↓
APRENDIZAJE AUTOMATICO
►
TE4
↓
CODIGOS DE CORRECCION (TEORIA DE LA INFORMACION)
►
TE4
↓
DEMOSTRACION AUTOMATICA DE TEOREMAS
TE4
↓
FORMACION AUTOMATICA DE HIPOTESIS
TE4
↓
INTELIGENCIA COMPUTACIONAL
TE4
↓
PROGRAMACION HEURISTICA
TE4
↓
RAZONAMIENTO CUALITATIVO
TE4
↓
SISTEMAS DE CONTROL ADAPTATIVOS
►
TE4
↓
TRADUCCION MECANICA
TE2
↓
MATEMATICAS CONSTRUCTIVAS
►
▼
TE3
↓
FUNCIONES COMPUTACIONALES
TE3
↓
MATEMATICAS INTUICIONISTAS
TE2
↓
PROBABILIDADES
►
▼
TE3
↓
ANALISIS DE ERRORES (MATEMATICAS)
►
▼
TE4
↓
ERRORES DE REDONDEO
TE3
↓
ANALISIS DE SERIES DE TIEMPO
►
▼
TE4
↓
PREDICCIONES DE BOX-JENKINS
TE3
↓
CONFIABILIDAD (INGENIERIA)
►
▼
TE4
↓
AVERIAS DE SISTEMAS (INGENIERIA)
►
TE4
↓
CONTROL DE CALIDAD
►
TE4
↓
ENSAYOS (TECNOLOGÍA)
►
TE3
↓
CORRELACION (ESTADISTICA)
►
▼
TE4
↓
AMPLIFICADORES PARAMETRICOS
TE4
↓
ANALISIS DE COMPONENTES PRINCIPALES
TE4
↓
ANALISIS DE ESTRUCTURAS LATENTES
TE4
↓
ANALISIS ESPACIAL (ESTADISTICA)
►
TE4
↓
ANALISIS FACTORIAL
►
TE4
↓
AUTOCORRELACION (ESTADISTICA)
TE4
↓
CLUSTER (ANALISIS)
TE4
↓
COMPARACIONES MULTIPLES (ESTADISTICA)
TE4
↓
CORRELACION CANONICA (ESTADISTICA)
TE4
↓
CURVAS DE FRECUENCIAS
TE3
↓
CURVAS DE FRECUENCIAS
TE3
↓
DESCOMPOSICION (MATEMATICAS)
TE3
↓
DISTRIBUCION (TEORIA DE LA PROBABILIDAD)
►
▼
TE4
↓
BOOTSTRAP (ESTADISTICA)
TE4
↓
CONTRASTACION DE HIPOTESIS ESTADISTICAS
►
TE4
↓
CONVOLUCIONES (MATEMATICAS)
TE4
↓
CURVAS DE FRECUENCIAS
TE4
↓
DISTRIBUCION ASINTOTICA (TEORIA DE LA PROBABILIDAD)
►
TE4
↓
DISTRIBUCION DE POISSON
TE4
↓
DISTRIBUCION DE WIGNER
TE4
↓
DISTRIBUCION GAUSIANA
TE4
↓
DISTRIBUCIONES MEZCLADAS (TEORIA DE LA PROBABILIDAD)
TE4
↓
EXPANSIONES EDGEWORTH
TE4
↓
FAMILIAS EXPONENCIALES (ESTADISTICAS)
TE4
↓
LEY DE DISTRIBUCION DE MAXWELL-BOLTZMANN
TE4
↓
MEDIDAS DE PROBABILIDAD
TE4
↓
PROBIT
TE4
↓
RIESGOS EN LA COMPETENCIA
TE4
↓
ROBUSTEZ EN ESTADISTICA
TE3
↓
DISTRIBUCION UNIFORME (TEORIA DE LA PROBABILIDAD)
►
▼
TE4
↓
DISTRIBUCION GAUSIANA
TE3
↓
FUNCIONES DE CONCENTRACION
TE3
↓
FUNCIONES DE ERRORES
TE3
↓
INTEGRALES MULTIPLES
TE3
↓
LOGICA
►
▼
TE4
↓
A PRIORI
TE4
↓
ABSTRACCION (PSICOLOGIA)
►
TE4
↓
CATEGORIAS (FILOSOFIA)
►
TE4
↓
DEFINICION (FILOSOFIA)
►
TE4
↓
DIAGRAMAS LOGICOS
TE4
↓
EVIDENCIA
TE4
↓
HIPOTESIS
►
TE4
↓
INDUCCION (LOGICA)
►
TE4
↓
INFERENCIA
►
TE4
↓
INTELIGENCIA
►
TE4
↓
Juicio lógico
TE4
↓
LIMITE LOGICA
TE4
↓
MÀQUINAS LÒGICAS
►
TE4
↓
NOMINALISMO
TE4
↓
PARADOJAS DE LIAR
TE4
↓
PENSAMIENTO
►
TE4
↓
POSITIVISMO LOGICO
TE4
↓
PSICOLOGIA
►
TE4
↓
RAZON SUFICIENTE
TE4
↓
RAZONAMIENTO
►
TE4
↓
SILOGISMO
TE4
↓
SOFISMAS
TE4
↓
TEORIA DEL CONOCIMIENTO
►
TE4
↓
UNIVERSALES (FILOSOFIA)
TE4
↓
VERIFICACION (LOGICA)
TE3
↓
LOGICA MATEMATICA
►
▼
TE4
↓
ALGEBRA BOOLEANA
►
TE4
↓
CALCULO DE LAMBDA
TE4
↓
CALCULO PROPOSICIONAL
TE4
↓
CASUALIDAD
►
TE4
↓
CATEGORIAS (MATEMATICAS)
►
TE4
↓
DECISION (LOGICA MATEMATICA)
TE4
↓
FUNCIONES RECURSIVAS
►
TE4
↓
LOGICA ALGEBRAICA
►
TE4
↓
LÒGICA COMBINATORIA
TE4
↓
LÒGICA COMPUTACIONAL
TE4
↓
LOGICA DE PRIMER ORDEN
TE4
↓
LOGICA DE UMBRAL
TE4
↓
MÀQUINAS LÒGICAS
►
TE4
↓
MATEMATICAS CONSTRUCTIVAS
►
TE4
↓
PROBABILIDADES
►
TE4
↓
RAZONAMIENTO
►
TE4
↓
SEMANTICA (FILOSOFIA)
►
TE4
↓
SILOGISMO
TE4
↓
TEOREMA DE GODEL
TE4
↓
TEORIA AXIOMATICA DE CONJUNTOS
►
TE4
↓
TEORIA DE LA CONMUTACION
►
TE4
↓
TEORIA DE LAS MAQUINAS
►
TE3
↓
MINIMOS CUADRADOS
►
▼
TE4
↓
DESVIACIONES MINIMAS ABSOLUTAS (ESTADISTICA)
TE4
↓
TEORIA DE LA ESTIMACION
►
TE3
↓
MUESTREO (ESTADISTICA)
►
▼
TE4
↓
ANALISIS DE ERRORES (MATEMATICAS)
►
TE4
↓
ANALISIS DE VARIANZA
►
TE4
↓
BOOTSTRAP (ESTADISTICA)
TE4
↓
CONTROL DE CALIDAD
►
TE4
↓
EXPANSIONES EDGEWORTH
TE4
↓
NUMEROS ALEATORIOS
TE4
↓
PROBABILIDADES
►
TE3
↓
PROCESOS ESTOCASTICOS
►
▼
TE4
↓
ANALISIS ESTOCASTICO
►
TE4
↓
APROXIMACIONES ESTOCASTICAS
TE4
↓
AUTOCORRELACION (ESTADISTICA)
TE4
↓
CUERPOS ALEATORIOS
►
TE4
↓
FILTRADO DE KALMAN
TE4
↓
FLUCTUACION (FISICA)
►
TE4
↓
MARTINGALAS (MATEMATICAS)
TE4
↓
MEDIDAS ALEATORIAS
TE4
↓
METODO DE MONTE CARLO
TE4
↓
PROCESOS AUTOSIMILARES
TE4
↓
PROCESOS DE MARKOV
TE4
↓
PROCESOS DE PUNTO
TE4
↓
PROCESOS ESTACIONARIOS
TE4
↓
PROCESOS GAUSSIANOS
TE4
↓
PROCESOS RAMIFICADOS
►
TE4
↓
TEORIA DE LA ESTIMACION
►
TE4
↓
TEORIA DE LA PREDICCION
►
TE4
↓
TEORIA DE LA RENOVACION
TE4
↓
TEORIA DE LAS COLAS (MATEMATICAS)
TE4
↓
TIEMPOS LOCALES (PROCESOS ESTOCASTICOS)
TE4
↓
TRAYECTORIA ALEATORIA (MATEMÁTICAS)
►
TE3
↓
PROMEDIO
TE3
↓
RIESGO (ECONOMIA)
►
▼
TE4
↓
ESPECULACIONES MERCANTILES
►
TE4
↓
GANANCIAS
►
TE4
↓
PROBABILIDADES
►
TE3
↓
TEORIA DE LOS NUMEROS PROBABILISTICOS
TE2
↓
RAZONAMIENTO
►
▼
TE3
↓
A PRIORI
TE3
↓
ANALOGIA (LOGICA)
TE3
↓
HIPOTESIS
►
▼
TE4
↓
CONTRASTACION DE HIPOTESIS ESTADISTICAS
►
TE4
↓
FORMACION AUTOMATICA DE HIPOTESIS
TE3
↓
INDUCCION (LOGICA)
►
▼
TE4
↓
INDUCCION (MATEMATICAS)
►
TE3
↓
INFERENCIA
►
▼
TE4
↓
INDUCCION (LOGICA)
►
TE4
↓
PROBABILIDADES
►
TE4
↓
SILOGISMO
TE3
↓
RAZONAMIENTO CUALITATIVO
TE3
↓
RAZONAMIENTO NO MONOTONO
TE2
↓
SEMANTICA (FILOSOFIA)
►
▼
TE3
↓
ACTOS DEL HABLA (LINGUISTICA)
TE3
↓
PARADOJAS DE LIAR
TE3
↓
SIGNIFICACION (FILOSOFIA)
TE2
↓
SILOGISMO
TE2
↓
TEOREMA DE GODEL
TE2
↓
TEORIA AXIOMATICA DE CONJUNTOS
►
▼
TE3
↓
AXIOMA DE ELECCION
TE2
↓
TEORIA DE LA CONMUTACION
►
▼
TE3
↓
CIRCUITOS DE CONMUTACION
►
▼
TE4
↓
CIRCUITOS LOGICOS
►
TE4
↓
SISTEMAS DE CONMUTACION EN TELECOMUNICACIONES
►
TE3
↓
CIRCUITOS LOGICOS
►
▼
TE4
↓
DISEÑO LOGICO
TE4
↓
LOGICA DE INYECCION INTEGRADA
TE3
↓
DISEÑO LOGICO
TE3
↓
LOGICA DE UMBRAL
TE3
↓
SISTEMAS DE CONMUTACION EN TELECOMUNICACIONES
►
▼
TE4
↓
CONMUTACION POR PAQUETES (TRANSMISION DE DATOS)
TE3
↓
SISTEMAS ELECTRONICOS DE CONMUTACION TELEFONICA
TE2
↓
TEORIA DE LAS MAQUINAS
►
▼
TE3
↓
APRENDIZAJE AUTOMATICO
►
▼
TE4
↓
APRENDIZAJE POR REFUERZO
TE3
↓
COMPLEJIDAD COMPUTACIONAL
TE3
↓
COMPUTADORAS
►
▼
TE4
↓
ARTE POR COMPUTADORA
TE4
↓
COMPUTACION CUANTICA
TE4
↓
COMPUTADORAS DE USO ESPECIAL
TE4
↓
COMPUTADORAS ELECTRONICAS ANALOGICAS
►
TE4
↓
COMPUTADORAS ELECTRONICAS DIGITALES
►
TE4
↓
COMPUTADORAS FLUIDICAS
TE4
↓
COMPUTADORAS HIBRIDAS
►
TE4
↓
CORRELACIONADORES
TE4
↓
MAQUINA ELECTRONICAS DE OFICINA
TE4
↓
MINICOMPUTADORAS
►
TE4
↓
PROCESAMIENTO ELECTRONICO DE DATOS
►
TE4
↓
SISTEMAS DE COMANDO Y CONTROL
TE3
↓
DISEÑO LOGICO
TE3
↓
INTELIGENCIA ARTIFICIAL
►
▼
TE4
↓
APRENDIZAJE AUTOMATICO
►
TE4
↓
CODIGOS DE CORRECCION (TEORIA DE LA INFORMACION)
►
TE4
↓
DEMOSTRACION AUTOMATICA DE TEOREMAS
TE4
↓
FORMACION AUTOMATICA DE HIPOTESIS
TE4
↓
INTELIGENCIA COMPUTACIONAL
TE4
↓
PROGRAMACION HEURISTICA
TE4
↓
RAZONAMIENTO CUALITATIVO
TE4
↓
SISTEMAS DE CONTROL ADAPTATIVOS
►
TE4
↓
TRADUCCION MECANICA
TE3
↓
LENGUAJES FORMALES
TE3
↓
MAQUINA DE POST
TE3
↓
MAQUINAS DE TURING
TE3
↓
PROCESAMIENTO ELECTRONICO DE DATOS
►
▼
TE4
↓
ADMINISTRACION DE BASE DE DATOS
►
TE4
↓
Ambientacion de bases de datos
TE4
↓
AUTOMATIZACION DE OFICINAS
►
TE4
↓
AUTOSATE
TE4
↓
BASES DE DATO
►
TE4
↓
CAPACIDAD DEL COMPUTADOR
TE4
↓
CLASIFICACION (COMPUTADORAS ELECTRONICAS)
TE4
↓
COMPILACION (COMPUTADORAS ELECTRONICAS)
►
TE4
↓
COMPLEJIDAD COMPUTACIONAL
TE4
↓
COMPUTACION TOLERANTE A FALLAS
TE4
↓
CONVERTIDORES DE ANALOGICO A DIGITAL
TE4
↓
DEPURACION DE PROGRAMAS EN COMPUTACION
TE4
↓
DISEÑO DE SISTEMAS
►
TE4
↓
DL-ASEDC (SISTEMA DE COMPUTADOR ELECTRONICO)
TE4
↓
ENSAMBLAJE (COMPUTADORAS ELECTRONICAS)
TE4
↓
ESTRUCTURA DE DATOS (COMPUTACION)
TE4
↓
INTELIGENCIA ARTIFICIAL
►
TE4
↓
LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS)
►
TE4
↓
MÀQUINAS HERRAMIENTAS (CONTROL NUMERICO)
TE4
↓
MODULACION DE IMPULSOS EN FRECUENCIA
TE4
↓
MULTIPROGRAMACION (COMPUTADORAS ELECTRONICAS)
TE4
↓
PROCESAMIENTO DE DATOS EN LINEA
►
TE4
↓
PROCESAMIENTO DE DATOS EN TIEMPO REAL
TE4
↓
PROCESAMIENTO OPTICO DE DATOS
TE4
↓
PROCESAMIENTO PARALELO (COMPUTADORAS ELECTRONICAS)
►
TE4
↓
PROGRAMACION (COMPUTADORAS ELECTRONICAS DIGITALES)
►
TE4
↓
PROGRAMACION DE COMPUTADORAS
►
TE4
↓
REDES DE COMPUTADORAS
►
TE4
↓
SERVICIOS DE PROCESAMIENTO DE DATOS
TE4
↓
SISTEMA DE PRODUCTIVIDAD PARA PROGRAMADORES (COMPUTADORES)
TE4
↓
SISTEMA DE TIEMPO COMPARTIDO (COMPUTADORES ELECTRONICOS)
TE4
↓
SISTEMAS DE TARJETAS PARA MICROFILME
TE4
↓
SISTEMAS DE TRANSMISION DE DATOS
►
TE3
↓
SISTEMAS DE RE-ESCRITURA (COMPUTACIÓN)
TE3
↓
TEORIA DE LA CODIFICACION
►
▼
TE4
↓
CODIGOS DE CORRECCION (TEORIA DE LA INFORMACION)
►
TE4
↓
COMPRESION DE DATOS (COMPUTACION)
TE4
↓
DISEÑO DE ENTRADAS PARA COMPUTADORAS
TE4
↓
TEORIA DE LA TASA DE DISTORCSION
TE3
↓
TEORIA DE LA CONMUTACION
►
▼
TE4
↓
CIRCUITOS DE CONMUTACION
►
TE4
↓
CIRCUITOS LOGICOS
►
TE4
↓
DISEÑO LOGICO
TE4
↓
LOGICA DE UMBRAL
TE4
↓
SISTEMAS DE CONMUTACION EN TELECOMUNICACIONES
►
TE4
↓
SISTEMAS ELECTRONICOS DE CONMUTACION TELEFONICA
TE3
↓
TEORIA DEL CONTROL
►
▼
TE4
↓
CONTROL AUTOMATICO
►
TE4
↓
FILTRADO DE KALMAN
TE4
↓
FUNCIONES DE TRANSFERENCIA
TE4
↓
SISTEMAS DE CONTROL BIOLOGICO
►
TE4
↓
SISTEMAS DE PARAMETROS DISTRIBUIDOS
TE4
↓
TEORIA DEL CONTROL NO LINEAL
EQ
Predicate calculus
(Término en inglés)
Fecha de creación
22-Ene-2015
Modificación
03-Feb-2015
Término aceptado
22-Ene-2015
Términos descendentes
0
Términos específicos
1
Términos alternativos
1
Términos relacionados
0
Notas
0
Metadatos
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Búsqueda